tools/check: We do need a default for ${PYTHON} as called from
authorKeir Fraser <keir.fraser@citrix.com>
Wed, 15 Jul 2009 14:33:05 +0000 (15:33 +0100)
committerKeir Fraser <keir.fraser@citrix.com>
Wed, 15 Jul 2009 14:33:05 +0000 (15:33 +0100)
commit0afa130b1f1d18bfc62b985de9132bfa427448c1
treed20d233dfc6e6c976a27b4a437b4c9225ea4acfc
parentc8d0c0aba303e8ba13b0c215ecdb68441eedaeed
tools/check: We do need a default for ${PYTHON} as called from
install.sh with PYTHON possibly undefined in the environment.

So we make PYTHON=python the sensible default.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
tools/check/check_python
tools/check/check_python_devel
tools/check/check_python_xml